@PhdThesis{Helke,
           title = "{Verifikation von Statcharts durch struktur- und eigenschaftserhaltende Datenabstraktion}",
          author = "Steffen Helke",
          school = "Technische Universität Berlin",
           month = Juli,
            year = "2007",
            type = "Dissertation"
}

@Misc{2012,
author = {Maren Ifland and Dennis Linberg},
title = "{Model Checking von Stateflow Modellen}",
institution = {TU Berlin},
year = {2012}
}

@Misc{2009,
author = {Alexander Eck and Markus Herpich and Nils Lüdicke and Stefan Menzel},
title = "{Model Checking Statecharts}",
institution = {TU Berlin},
year = {2009}
}
